Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
271	A Nanopass Framework for Commercial Compiler Development Andrew W. Keep R. Kent Dybvig Add to Reading List Source URL: www.andykeep.com Language: English - Date: 2013-10-07 03:39:55 Compiler construction Procedural programming languages Programming language implementation Compilers Parsing Compiler Static single assignment form Code generation Chez Scheme Software engineering Computing Computer programming
272	Towards Execution Time Estimation in Abstract Machine-Based Languages ∗ E. Mera 1 1 Complutense University of Madrid Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-07-04 09:38:08 Compiler construction Virtual machines Software optimization Bytecode Java bytecode Warren Abstract Machine Profiling Interpreter Worst-case execution time Computing Software Programming language implementation
273	Building Variant Translators for Version 7.5 of Icon* Ralph E. Griswold Kenneth Walker TR 88-8b Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2014-02-12 20:45:52 Programming language implementation Compiling tools Parser generators C programming language Lex C preprocessor Preprocessor Formal language Yacc Computing Software Compiler construction
274	ACC Canterbury Dashboard – OCTOBER 2014 SUMMARY Quarterly Overview • Claim activity has continued to grow over the 12 months to October with the 12 month moving average for new claims up by 13 percent to 500.0 Add to Reading List Source URL: www.acc.co.nz Language: English - Date: 2015-06-18 06:27:51 AVG Construction Software Canterbury Christchurch
275	RTF Document Add to Reading List Source URL: www.ribabookshops.com Language: English - Date: 2013-07-22 08:09:10 Software Design Civil engineering Architects Design–build Constructability Software development process X Window System Architecture Construction Building engineering
276	Testing and Modeling Dependencies Between a Network and Nodal Attributes Bailey K. Fosdick1 and Peter D. Hoff1,2 Working Paper no. 131 Center for Statistics and the Social Sciences University of Washington Add to Reading List Source URL: www.csss.washington.edu Language: English - Date: 2013-06-14 15:49:22 Compiler construction Parsing Software engineering Education Computing Attribute Hierarchy Method Network science Programming paradigms Network theory Attribute grammar
277	2005 Paper 4 Question 1 Compiler Construction (a) A (phrase-structured) grammar is often defined to be a 4-tuple (N, T, R, S) where R is a set of production rules. Explain what the other components of the 4-tuple are. E Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:05 Computing Programming language implementation Compiling tools Compiler construction Acronyms Yacc Lex Parsing Formal grammar Formal languages Software Parser generators
278	Freemind’s Energis Building software realizes double ECO objectives for 3E headquarters in Brussels 3E relies on Freemind’s monitoring and control solution to establish 11% more Add to Reading List Source URL: www.freemind-group.com Language: English - Date: 2011-01-14 12:29:44 Construction Environment Energy conservation Low-energy building Energy policy Energy management software Utility submeter Building management system HVAC Sustainable building Architecture Building engineering
279	Paper for the 16th Pacific Rim Real Estate Society Conference Wellington, New ZealandJanuaryHow can BIM Technology assist in optimising the Life Cycle Cost of a Building? By Francis Pf Lai, Dulani Halvitiga Add to Reading List Source URL: www.prres.net Language: English - Date: 2012-09-18 03:42:20 Building engineering Visual arts Autodesk Sustainable building 3D graphics software Autodesk Ecotect Analysis Revit Life-cycle assessment Leadership in Energy and Environmental Design Architecture Construction Building information modeling
280	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction

UPDATE